『Specifying Systems』
TLA+
https://lamport.azurewebsites.net/tla/book.html]